qualified type